package main

import "./hrd"
import "fmt"
import "time"
import "runtime"

func main() {
    runtime.GOMAXPROCS(runtime.NumCPU())
    board := hrd.NewBoard(1, []uint{4, 7}, []uint{9, 13, 17}, []uint{0, 3, 12, 15})
    start := time.Now()
    solver := hrd.NewSolver(board)
    boards := solver.Probe()
    duration := time.Since(start)
    fmt.Println(duration.Seconds())
    fmt.Println("$$$", len(boards))
    hrd.Print(boards[0])
    hrd.Print(boards[len(boards)-1])
    start = time.Now()
    solver = hrd.NewSolver(board)
    boards = solver.Probe()
    duration = time.Since(start)
    fmt.Println(duration.Seconds())
}
